1. Theorem provers in circuit design :
Author: Ramayya Kumar, Thomas Kropf, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
Classification :
TK7874
.
65
R363
1995
